Conformance checking in UML artifact-centric business process models
نویسندگان
چکیده
منابع مشابه
Artifact-Centric Business Process Models in UML
Business process modeling using an artifact-centric approach has raised a significant interest over the last few years. This approach is usually stated in terms of the BALSA framework which defines the four “dimensions” of an artifact-centric business process model: Business Artifacts, Lifecycles, Services and Associations. One of the research challenges in this area is looking for different di...
متن کاملArtifact-Centric Business Process Models in UML: Specification and Reasoning
Business processes are directly involved in the achievement of an organization’s goals, and for this reason they should be performed in the best possible way. Modeling business processes can help to achieve this as, for instance, models can facilitate the communication between the people involved in the process, they provide a basis for process improvement and they can help perform process mana...
متن کاملSpecifying Artifact-Centric Business Process Models in UML
In recent years, the artifact-centric approach to process modeling has attracted a lot of attention. One of the research lines in this area is finding a suitable way to represent the dimensions in this approach. Bearing this in mind, this paper proposes a way to specify artifact-centric business process models by means of well-known UML diagrams, from a high-level of abstraction and with a tech...
متن کاملSpecifying Artifact-Centric Business Process Models in UML: Technical Report
In recent years, the artifact-centric approach to process modeling has attracted a lot of attention. One of the research lines in this area is finding a suitable way to represent the dimensions in this approach. Bearing this in mind, this paper proposes a way to specify artifact-centric business process models by means of well-known UML diagrams, from a high-level of abstraction and with a tech...
متن کاملVerification and Validation of UML Artifact-Centric Business Process Models
This paper presents a way of checking the correctness of artifact-centric business process models defined using the BAUML framework. To ensure that these models are free of errors, we propose an approach to verify (i.e. there are no internal mistakes) and to validate them (i.e. the model complies with the business requirements). This approach is based on translating these models into logic and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software & Systems Modeling
سال: 2018
ISSN: 1619-1366,1619-1374
DOI: 10.1007/s10270-018-0681-6